222 search results for "tag:"mirage""

Showing 51 - 100
  1. fat-filesystem
    Documentation
    Pure OCaml implementation of the FAT filesystem
    org:mirage org:xapi-project
    Dave Scott Anil Madhavapeddy
    0.15.1
    ISC
    Used by 2 other packages
    11 Apr 2022
  2. fd-send-recv
    Documentation
    Bindings for sendmsg/recvmsg that allow Unix.file_descrs to be sent and received over Unix domain sockets
    org:mirage org:xapi-project
    David Scott David Sheets Euan Harris Vincent Bernardoff
    2.0.2
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 8 other packages
    07 Dec 2022
  3. fiat-p256
    Documentation
    Primitives for Elliptic Curve Cryptography taken from Fiat
    org:mirage
    Etienne Millon <me@emillon.org> Andres Erbsen <andreser@mit.edu> Google Inc. Jade Philipoom <jadep@mit.edu> <jade.philipoom@gmail.com> Massachusetts Institute of Technology
    0.2.3
    MIT
    Used by 2 other packages
    03 Nov 2020
  4. functoria
    Documentation
    A DSL to organize functor applications
    org:mirage
    Thomas Gazagnaire Anil Madhavapeddy Dave Scott Thomas Leonard Gabriel Radanne
    4.4.2
    ISC
    Used by 1 other packages
    15 Feb 2024
  5. functoria-runtime
    Documentation
    Runtime support library for functoria-generated code
    org:mirage
    Thomas Gazagnaire Anil Madhavapeddy Dave Scott Thomas Leonard Gabriel Radanne
    4.4.2
    ISC
    Used by 3 other packages
    15 Feb 2024
  6. github
    Documentation
    GitHub APIv3 OCaml library
    org:mirage org:xapi-project git
    Anil Madhavapeddy David Sheets Andy Ray Jeff Hammerbacher Thomas Gazagnaire et al.
    4.4.1
    MIT
    Used by 6 other packages
    27 Jan 2022
  7. github-data
    Documentation
    GitHub APIv3 data library
    org:mirage org:xapi-project git
    Anil Madhavapeddy David Sheets Andy Ray Jeff Hammerbacher Thomas Gazagnaire et al.
    4.4.1
    MIT
    Used by 2 other packages
    27 Jan 2022
  8. github-jsoo
    Documentation
    GitHub APIv3 JavaScript library
    org:mirage org:xapi-project git
    Anil Madhavapeddy David Sheets Andy Ray Jeff Hammerbacher Thomas Gazagnaire et al.
    4.4.1
    MIT
    Used by 0 other packages
    27 Jan 2022
  9. github-unix
    Documentation
    GitHub APIv3 Unix library
    org:mirage org:xapi-project git
    Anil Madhavapeddy David Sheets Andy Ray Jeff Hammerbacher Thomas Gazagnaire et al.
    4.4.1
    MIT
    Used by 5 other packages
    27 Jan 2022
  10. gpt
    Documentation
    A library to manipulate GUID Partition tables
    mirage ocaml storage gpt
    PizieDust <playersrebirth@gmail.com>
    1.0.0
    ISC
    Used by 0 other packages
    20 Feb 2024
  11. icalendar
    Documentation
    A library to parse and print the iCalendar (RFC 5545) format
    org:mirage org:robur
    Stefanie Schirmer @linse Hannes Mehnert
    0.1.8
    ISC
    Used by 2 other packages
    14 Mar 2024
  12. io-page
    Documentation
    Support for efficient handling of I/O memory pages
    org:mirage
    Anil Madhavapeddy Dave Scott Thomas Gazagnaire
    3.0.0
    ISC
    Used by 50 other packages
    07 Apr 2022
  13. io-page-unix
    Documentation
    Support for efficient handling of I/O memory pages on Unix
    org:mirage
    Anil Madhavapeddy Dave Scott Thomas Gazagnaire
    2.3.0
    ISC
    Used by 34 other packages
    26 Jun 2019
  14. io-page-xen
    Documentation
    Support for efficient handling of I/O memory pages on Xen
    org:mirage
    Anil Madhavapeddy Dave Scott Thomas Gazagnaire
    2.3.0
    ISC
    Used by 9 other packages
    26 Jun 2019
  15. ipaddr
    Documentation
    A library for manipulation of IP (and MAC) address representations
    org:mirage org:xapi-project
    David Sheets Anil Madhavapeddy Hugo Heuzard
    5.5.0
    ISC
    Used by 94 other packages
    03 Apr 2023
  16. ipaddr-cstruct
    Documentation
    A library for manipulation of IP address representations using Cstructs
    org:mirage org:xapi-project
    David Sheets Anil Madhavapeddy Hugo Heuzard
    5.5.0
    ISC
    Used by 2 other packages
    03 Apr 2023
  17. ipaddr-sexp
    Documentation
    A library for manipulation of IP address representations using sexp
    org:mirage org:xapi-project
    David Sheets Anil Madhavapeddy Hugo Heuzard
    5.5.0
    ISC
    Used by 8 other packages
    03 Apr 2023
  18. libvhd

    No documentation

    OCaml bindings for the C library 'libvhd' which allows the manipulation
    org:mirage org:xapi-project
    Jon Ludlam
    0.9.0
    Used by 0 other packages
    21 Nov 2013
  19. libvirt

    No documentation

    Libvirt is a portable toolkit to interact with the virtualisation capabilities of Linux, Solaris and other operating systems.
    org:mirage org:xapi-project
    Richard W.M. Jones
    0.6.1.4
    Used by 2 other packages
    11 Nov 2015
  20. macaddr
    Documentation
    A library for manipulation of MAC address representations
    org:mirage org:xapi-project
    David Sheets Anil Madhavapeddy Hugo Heuzard
    5.5.0
    ISC
    Used by 23 other packages
    03 Apr 2023
  21. macaddr-cstruct
    Documentation
    A library for manipulation of MAC address representations using Cstructs
    org:mirage org:xapi-project
    David Sheets Anil Madhavapeddy Hugo Heuzard
    5.5.0
    ISC
    Used by 2 other packages
    03 Apr 2023
  22. macaddr-sexp
    Documentation
    A library for manipulation of MAC address representations using sexp
    org:mirage org:xapi-project
    David Sheets Anil Madhavapeddy Hugo Heuzard
    5.5.0
    ISC
    Used by 3 other packages
    03 Apr 2023
  23. memcpy
    Documentation
    Safe and efficient copying between blocks of memory.
    org:mirage
    yallop@gmail.com
    0.2.2
    MIT
    Used by 0 other packages
    24 Jul 2023
  24. minima-theme
    Documentation
    OCaml port of the Jekyll Minima theme
    org:mirage org:ocamllabs
    Anil Madhavapeddy <anil@recoil.org>
    1.0.0
    ISC
    Used by 0 other packages
    14 Dec 2016
  25. mirage
    Documentation
    The MirageOS library operating system
    org:mirage org:xapi-project
    Thomas Gazagnaire Anil Madhavapeddy Gabriel Radanne Mindy Preston Thomas Leonard et al.
    4.5.0
    ISC
    Used by 4 other packages
    10 Apr 2024
  26. mirage-block
    Documentation
    Block signatures and implementations for MirageOS
    org:mirage
    David Scott Thomas Gazagnaire
    3.0.2
    ISC
    Used by 20 other packages
    29 Nov 2022
  27. mirage-block-combinators
    Documentation
    Block signatures and implementations for MirageOS using Lwt
    org:mirage
    David Scott
    3.0.2
    ISC
    Used by 6 other packages
    29 Nov 2022
  28. mirage-block-lwt
    Documentation
    Block signatures and implementations for MirageOS using Lwt
    org:mirage
    David Scott
    1.2.0
    ISC
    Used by 10 other packages
    04 Feb 2019
  29. mirage-block-ramdisk
    Documentation
    In-memory BLOCK device for MirageOS
    org:mirage
    David Scott
    0.5
    ISC
    Used by 4 other packages
    11 Jun 2020
  30. mirage-block-solo5
    Documentation
    Solo5 implementation of MirageOS block interface
    org:mirage
    Dan Williams Martin Lucina
    0.8.1
    ISC
    Used by 1 other packages
    29 Nov 2022
  31. mirage-block-unix
    Documentation
    MirageOS disk block driver for Unix
    org:mirage
    Dave Scott <dave@recoil.org>
    2.14.2
    ISC
    Used by 16 other packages
    15 Sep 2022
  32. mirage-block-xen
    Documentation
    MirageOS block driver for Xen that implements the blkfront/back protocol
    org:mirage org:xapi-project
    Anil Madhavapeddy David Scott Thomas Leonard
    2.1.2
    ISC
    Used by 0 other packages
    16 Apr 2024
  33. mirage-bootvar-solo5
    Documentation
    Solo5 implementation of MirageOS Bootvar interface
    org:mirage
    Dan Williams <djwillia@us.ibm.com> Magnus Skjegstad <magnus@skjegstad.com> Martin Lucina <martin@lucina.net>
    0.6.0
    ISC
    Used by 0 other packages
    26 Sep 2019
  34. mirage-bootvar-unix
    Documentation
    Unix implementation of MirageOS Bootvar interface
    org:mirage
    Hannes Mehnert <hannes@mehnert.org>
    0.1.0
    ISC
    Used by 4 other packages
    29 Oct 2018
  35. mirage-channel
    Documentation
    Buffered channels for MirageOS FLOW types
    org:mirage
    Anil Madhavapeddy Mindy Preston Thomas Gazagnaire
    4.1.0
    ISC
    Used by 9 other packages
    04 Apr 2022
  36. mirage-channel-lwt
    Documentation
    Buffered Lwt channels for MirageOS FLOW types
    org:mirage
    Anil Madhavapeddy Mindy Preston Thomas Gazagnaire
    3.2.0
    ISC
    Used by 7 other packages
    07 Feb 2019
  37. mirage-clock
    Documentation
    Libraries and module types for portable clocks
    org:mirage
    Anil Madhavapeddy Daniel C. Bünzli Matthew Gray
    4.2.0
    ISC
    Used by 51 other packages
    27 Mar 2022
  38. mirage-clock-freestanding
    Documentation
    Paravirtual implementation of the MirageOS Clock interface
    org:mirage
    Anil Madhavapeddy Daniel C. Bünzli Matthew Gray
    4.1.0
    ISC
    Used by 1 other packages
    02 Feb 2022
  39. mirage-clock-lwt
    Documentation
    Lwt-based implementation of the MirageOS Clock interface
    org:mirage
    Anil Madhavapeddy Daniel C. Bünzli Matthew Gray
    2.0.0
    ISC
    Used by 10 other packages
    02 Jan 2019
  40. mirage-clock-solo5
    Documentation
    Paravirtual implementation of the MirageOS Clock interface
    org:mirage
    Anil Madhavapeddy Daniel C. Bünzli Matthew Gray
    4.2.0
    ISC
    Used by 0 other packages
    27 Mar 2022
  41. mirage-clock-unix
    Documentation
    Unix-based implementation for the MirageOS Clock interface
    org:mirage
    Anil Madhavapeddy Daniel C. Bünzli Matthew Gray
    4.2.0
    ISC
    Used by 30 other packages
    27 Mar 2022
  42. mirage-clock-xen
    Documentation
    A Mirage-compatible Clock library for Xen
    org:mirage org:xapi-project
    The MirageOS team
    1.1
    Used by 2 other packages
    05 Jan 2016
  43. mirage-conduit
    Documentation
    MirageOS interface to network connections
    org:mirage
    Anil Madhavapeddy Thomas Leonard Thomas Gazagnaire
    3.2.0
    ISC
    Used by 5 other packages
    16 Jul 2019
  44. mirage-console
    Documentation
    Implementations of Mirage console devices
    org:mirage org:xapi-project
    Anil Madhavapeddy David Scott
    5.1.0
    ISC
    Used by 6 other packages
    02 Feb 2022
  45. mirage-console-lwt
    Documentation
    Implementation of Mirage consoles using Lwt
    org:mirage org:xapi-project
    Anil Madhavapeddy David Scott
    2.4.3
    ISC
    Used by 7 other packages
    27 Jun 2019
  46. mirage-console-solo5
    Documentation
    Solo5 implementation of MirageOS console interface
    org:mirage
    Anil Madhavapeddy <anil@recoil.org> Dan Williams <djwillia@us.ibm.com> Martin Lucina <martin@lucina.net>
    0.8.0
    ISC
    Used by 0 other packages
    27 Mar 2022
  47. mirage-console-unix
    Documentation
    Implementation of Mirage consoles for Unix
    org:mirage org:xapi-project
    Anil Madhavapeddy David Scott
    5.1.0
    ISC
    Used by 7 other packages
    02 Feb 2022
  48. mirage-console-xen
    Documentation
    Implementation of Mirage console for Xen
    org:mirage org:xapi-project
    Anil Madhavapeddy David Scott
    5.1.0
    ISC
    Used by 0 other packages
    02 Feb 2022
  49. mirage-console-xen-backend
    Documentation
    Implementation of Mirage console backend for Xen
    org:mirage org:xapi-project
    Anil Madhavapeddy David Scott
    5.1.0
    ISC
    Used by 1 other packages
    02 Feb 2022
  50. mirage-console-xen-cli

    No documentation

    Libraries for interacting with the Xen console command-line interface.
    org:mirage org:xapi-project
    Anil Madhavapeddy David Scott
    2.2.0
    ISC
    Used by 0 other packages
    23 Feb 2017
1 2 3 ... 5